1. <A> Companion to Philosophical Logic
پدیدآورنده : / edited by Dale Jacquette
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,فلسفه - منطق
رده :
BC71
.
C65
2002
2. <A> Concise Introduction to Logic
پدیدآورنده : / Patrick J. Hurley
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
BC108
.
H83
2006
3. <A> Concise Introduction to Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق,Hurley, Patrick J.,1942-,Demarco, Joseph P.
رده :
CD-B
,
BC
,
108
,.
H83
,
2006
4. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
5. A Dictionary of Philosophical Logic
پدیدآورنده : \ Roy T. Cook
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Dictionaries,Logic,منطق -- واژه‌نامه‌ها,منطق
رده :
E-Book
,
6. <A> First Course in Logic
پدیدآورنده : \ Shawn Hedman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,Logic, Symbolic and mathematical,منطق,منطق ریاضی
رده :
E-Book
,
7. <A> First Course in Mathematical Logic and Set Theory
پدیدآورنده : \ Michael L. O'Leary
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,Mathematics,Set theory,منطق ریاضی,ریاضیات,نظریه مجموعه‌ها,a03,a04,a05,a03,a04,a05
رده :
QA
9
.
O4F5
2016
E-Book
,
8. <A> First Course in Modern Logic
پدیدآورنده : \ Edith Watson Shipper and Edward Schuh
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical,منطق ریاضی
رده :
BC135
.
S33F5
1960
9. <A> Framework for Priority Arguments
پدیدآورنده : / Manuel Lerman
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,Priority (Philosophy),Logic, Symbolic and mathematical,منطق ریاضی
رده :
QA9
,.
54
.
F7
,
L47
2010
10. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
11. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
E-Book
,
12. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
13. <A> course in mathematical logic for mathematicians
پدیدآورنده : \ Yu. I. Manin; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
14. A friendly introduction to mathematical logic
پدیدآورنده : / Christopher C. Leary
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق کامپیوتری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
15. Actuality, Possibility, and Worlds
پدیدآورنده : \ Alexander Robert Pruss
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Modality (Logic),منطق موجهات,a05,a05,Modality (Logic) -- History. ,Possibility -- Psychological aspects.,منطق موجهات -- تاریخ,امکان -- جنبه های روانشناسی
رده :
BC
199
.
P7A25
2011
E-Book
,
16. Algebra, logic, and combinatorics
پدیدآورنده : \ editors, Shaun Bullett, Queen Mary University of London, UK, Tom Fearn, University College London, UK, Frank Smith, University College London, UK.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Combinatorial analysis.,Differential equations.,ج‍ب‍ر,منطق ریاضی ,آنالیز ترکیبی
رده :
QA155
.
A525
2016
E-book
,
17. An> Introduction To Many - Valued And Fuzzy Logic Semantics, Algebras, And Derivation Systems>
پدیدآورنده : / Merrie Bergmann
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق فازی,منطق چند ارزشی, Fuzzy logic., Many-valued logic.
رده :
QA9
.
64
.
B4I6
18. <An> Introduction to the Philosophy of Induction and Probability
پدیدآورنده : \ L. Jonathan Cohen.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Probabilities,احتمالات ,a04,a04,Induction (Logic),استقرا (منطق)
رده :
E-Book
,
19. <An> introduction to logic and scientific method
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,Logic,Methodology
رده :
BC108
.
C67
20. Analysis and Synthesis of Logics
پدیدآورنده : \ by Walter Carnielli...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,منطق ریاضی
رده :
E-Book
,
